atom\_dset() $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mk\_dset(Atom, $\lambda$$x$,$y$. $x$ =a $y$)